Symmetric action calculi
نویسندگان
چکیده
There exist many different calculi for rescribing interactive and sequential behaviour. The goal of action calculi [1] is to unify these calculi at a syntactic and operation level. We introduce a symmetric variant which extends the reach of action calculi to cover for example the Fusion calculus [2] and Yoshida’s process graphs [3]. These symmetric action calculi conservatively extend the reflexive action calculi [4] and have close links to category theory.
منابع مشابه
The symmetric monoidal closed category of cpo $M$-sets
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.
متن کاملCategorical logic of Names and Abstraction in Action Calculi
Received Milner's action calculus implements abstraction in monoidal categories, so that familiar-calculi can be subsumed together with the-calculus and the Petri nets. Variables are generalised to names: only a restricted form of substitution is allowed. In the present paper, the well-known categorical semantics of the-calculus is generalised to the action calculus. A suitable functional compl...
متن کاملA General Technique for Analyzing Termination in Symmetric Proof Calculi
Proof-term calculi expressing a computational interpretation of classical logic serve as tools for extracting the constructive content of classical proofs and at the same time can be seen as pure programming languages with explicit representation of control. The inherent symmetry in the underlying logic presents technical challenges to the study of the reduction properties of these systems. We ...
متن کاملGeneralized Einstein Operator Generating Functions
We present gauge invariant, self adjoint Einstein operators for mixed symmetry higher spin theories. The result applies to multi-forms, multi-symmetric forms and mixed antisymmetric and symmetric multiforms. It also yields explicit action principles for these theories in terms of their minimal covariant field content. For known cases, these actions imply the mixed symmetry equations of motion o...
متن کاملSymmetric electoral systems for ambient calculi
This paper compares the expressiveness of different fragments of ambient calculi via leader election problems. We consider Mobile Ambients (MA), Safe Ambients (SA) and the Push and Pull Ambient Calculus (PAC). Cardelli and Gordon encoded the asynchronous pi-calculus into MA. Zimmer has shown that the synchronous pi-calculus without choice can be encoded in pure (no communication) SA. We show th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999